\begin{tabbing}
$\forall$\=$A$:Type, $l$:IdLnk, ${\it tg}$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it cond}$:($V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top))),\+
\\[0ex]$k$:Knd.
\-\\[0ex]($\uparrow$hasloc($k$;source($l$))) $\Rightarrow$ (trigger{-}send($A$;${\it ds}$;$k$;${\it cond}$;$l$;${\it tg}$) $\in$ Realizer)
\end{tabbing}